35.6 KB · ⇊ 10 parts · ⤓ Micron 35.6 KB · ⤓ HTML 338.4 KB

top

Das Rinderproblem des Archimedes, auch Problema Bovinum, ist die abgeschwächte Version eines unlösbarencite-ref-1993-schreiber-1-0[1] zahlentheoretischen Problems aus der Theorie diophantischer Gleichungen, das heißt von Polynomgleichungen über den ganzen Zahlen. Das ursprüngliche Problem wird Archimedes zugeschrieben: Die Anzahl der Rinder (Bullen und Kühe, mit je vier Sorten) in einer Herde des Sonnengottes soll bestimmt werden aus einigen Nebenbedingungen.

• Geschichte

• Problem

• Detaillierte Lösung des ersten leichteren Teils der Aufgabe

• Detaillierte kleinste Lösung des zweiten schwierigeren Teils der Aufgabe

• Alle Lösungen des zweiten schwierigeren Teils der Aufgabe

• Alle Lösungen des zweiten schwierigeren Teils der Aufgabe – Alternative Formeln

• Einzelnachweise

• Quellen

• Weblinks

Das Rinderproblem wurde 1773 von Gotthold Ephraim Lessing in einem griechischen Manuskript der Herzog August Bibliothek in Wolfenbüttel entdeckt (Cod. Guelf. 77 Gud. Graec.), das einen in 44 Distichen abgefassten Brief des Archimedes an Eratosthenes von Kyrene enthielt (also aus Syrakus nach Alexandria).cite-ref-2[2]

Πληθὺν Ἠελίοιο βοῶν, ὦ ξεῖνε, μέτρησον φροντίδ' ἐπιστήσας, εἰ μετέχεις σοφίης, πόσση ἄρ' ἐν πεδίοις Σικελῆς ποτ' ἐβόσκετο νήσου Θρινακίης τετραχῇ στίφεα δασσαμένη χροιὴν ἀλάσσοντα· τὸ μὲν λευκοῖο γάλακτος, κυανέῳ δ' ἕτερον χρώματι λαμπόμενον, ἄλλο γε μὲν ξανθόν, τὸ δὲ ποικίλον...cite-ref-3[3] (Die Menge von Helio's Herde, mein Freund, bemiss ...) – es geht streng übersetzt nicht um Rinder.

Ob der Brief tatsächlich von Archimedes stammt, wird von Lessing und anderen angezweifelt,cite-ref-4[4] das Problem selbst ist aufgrund seiner Schwierigkeit jedoch möglicherweise auf Archimedes zurückzuführen.cite-ref-0-5-0[5] Ein Hinweis darauf ist auch Archimedes’ Interesse an großen Zahlen, wie sie etwa in Der Sandrechner zum Vorschein kommt.

Eine philologische Version des griechischen Textes und eine Übersetzung ins Lateinische findet sich im zweiten Band der von Johan Ludvig Heiberg besorgten Ausgabe der Werke von Archimedes.cite-ref-6[6] Eine deutsche Übertragung des Gedichts wurde von Georg Nesselmann angefertigt und veröffentlicht (1842),cite-ref-7[7] eine weitere von Bernhard Krumbiegel (1880).

Der von Lessing veröffentlichte Text enthält eine Teillösung, die aber eine Zeile des Urtextes außer Acht lässt und zwei Forderungen aus dem zweiten Teil des Gedichtes nicht erfüllt. Auch die abgeschwächte Version ohne diese Zusatzforderungen blieb wegen der zur Lösung nötigen Berechnung von sehr großen Zahlen bis vor einigen Jahren ungelöst. Ein Lösungsverfahren wurde 1880 von August Amthor gefunden, mit dem die Lösung von etwa 7,76 ‧ 10206544 Rindern (eine Zahl mit 206.545 Stellen) bestimmt werden konnte.cite-ref-0-5-1[5] Für die Berechnung der expliziten Dezimaldarstellung brauchten die Computer (IBM 7040 und IBM 1620) von Hugh C. Williams, Gus German und Bob Zarnke 1965 eine Gesamtrechenzeit von 7 Stunden 49 Minuten.cite-ref-8[8]

Das Problem, in einer an Nesselmann und Krumbiegel angelehnten, das Versmaß nicht erhaltenden vereinfachten Fassung:

Zähle, mein Freund, die Rinder unter der Sonne, die einst unter der Sonne Siziliens grasten, die nach ihrer Farbe in vier Herden geteilt werden. Eine ist milchweiß, eine schwarz, eine gefleckt und eine gelb. Die Anzahl der Bullen jeder Farbe ist größer als die der Kühe dieser Farbe (dies wird in der modernen Version fortgelassen),cite-ref-1993-schreiber-1-1[1] und die Beziehung zwischen ihnen ist wie folgt:

weiße Bullen = ( 1 2 + 1 3 ) {\displaystyle =\left({\tfrac {1}{2}}+{\tfrac {1}{3}}\right)} schwarze Bullen + gelbe Bullen, schwarze Bullen = ( 1 4 + 1 5 ) {\displaystyle =\left({\tfrac {1}{4}}+{\tfrac {1}{5}}\right)} gefleckte Bullen + gelbe Bullen, gefleckte Bullen = ( 1 6 + 1 7 ) {\displaystyle =\left({\tfrac {1}{6}}+{\tfrac {1}{7}}\right)} weiße Bullen + gelbe Bullen, weiße Kühe = ( 1 3 + 1 4 ) {\displaystyle =\left({\tfrac {1}{3}}+{\tfrac {1}{4}}\right)} schwarze Herde, schwarze Kühe = ( 1 4 + 1 5 ) {\displaystyle =\left({\tfrac {1}{4}}+{\tfrac {1}{5}}\right)} gefleckte Herde, gefleckte Kühe = ( 1 5 + 1 6 ) {\displaystyle =\left({\tfrac {1}{5}}+{\tfrac {1}{6}}\right)} gelbe Herde, gelbe Kühe = ( 1 6 + 1 7 ) {\displaystyle =\left({\tfrac {1}{6}}+{\tfrac {1}{7}}\right)} weiße Herde.

Falls du, o Freund, mir nicht die Anzahl der Rinder jeder Art, Bullen und Kühe, angeben kannst, kannst du dich noch nicht als hoch qualifiziert betrachten. Bedenke aber noch die folgenden zusätzlichen Beziehungen zwischen den Bullen unter der Sonne:

Weiße Bullen + schwarze Bullen = eine quadratische Zahl, Gefleckte Bullen + gelbe Bullen = eine Dreieckszahl.

Wenn du diese auch noch berechnet hast, o Freund, und du die Gesamtzahl der Rinder gefunden hast, dann juble als ein Eroberer, weil du dir selbst bewiesen hast, dass du ein sehr begabter Rechner bist.cite-ref-9[9]

In Gleichungsform formuliert: Gesucht werden die Anzahlen W , X , Y , Z {\displaystyle W,X,Y,Z} verschieden gefärbter Bullen und w , x , y , z {\displaystyle w,x,y,z} von Kühen in den entsprechenden Farben mit:

W = 5 6 X + Z X = 9 20 Y + Z Y = 13 42 W + Z w = 7 12 ( X + x ) x = 9 20 ( Y + y ) y = 11 30 ( Z + z ) z = 13 42 ( W + w ) {\displaystyle {\begin{aligned}W&=\;{\tfrac {5}{6}}X+Z\\X&={\tfrac {9}{20}}Y+Z\\Y&={\tfrac {13}{42}}W+Z\\w&={\tfrac {7}{12}}\,(X+x)\\x&={\tfrac {9}{20}}\,(Y+y)\\y&={\tfrac {11}{30}}\,(Z+z)\\z&={\tfrac {13}{42}}\,(W+w)\end{aligned}}}

Die Gesamtzahl der Rinder ist dann W + X + Y + Z + w + x + y + z {\displaystyle W+X+Y+Z+w+x+y+z} .

In der schwierigeren Form werden zusätzlich die Nebenbedingungen:

W + X {\displaystyle W+X} = {\displaystyle =} Quadratzahl = m 2 {\displaystyle =m^{2}} und Y + Z {\displaystyle Y+Z} = {\displaystyle =} Dreieckszahl = 1 2 ( n + 1 ) n {\displaystyle ={\tfrac {1}{2}}(n+1)n} .

verlangt (für ganze Zahlen m , n {\displaystyle m,n} ). Zur Lösungsmethode siehe auch den Artikel über die Pellsche Gleichung.

Wenn man die ersten drei Gleichungen geeignet umformt und die Brüche wegbringt, erhält man das folgende Gleichungssystem:

6 W {\displaystyle 6W} − − {\displaystyle -} 5 X {\displaystyle 5X} = {\displaystyle =} 6 Z {\displaystyle 6Z} 20 X {\displaystyle 20X} − − {\displaystyle -} 9 Y {\displaystyle 9Y} = {\displaystyle =} 20 Z {\displaystyle 20Z} − − {\displaystyle -} 13 W {\displaystyle 13W} + {\displaystyle +} 42 Y {\displaystyle 42Y} = {\displaystyle =} 42 Z {\displaystyle 42Z}

Drei Gleichungen mit vier Unbekannten W , X , Y {\displaystyle W,X,Y} und Z {\displaystyle Z} haben im Normalfall unendlich viele Lösungen, das Gleichungssystem ist also unterbestimmt. Eine Unbekannte ist frei wählbar. Setzt man in diesem Fall die Unbekannte Z {\displaystyle Z} als bekannt voraus, so erhält man folgende Lösungen:

W {\displaystyle W} = {\displaystyle =} 742 99 ⋅ ⋅ 3 Z {\displaystyle {\tfrac {742}{99\cdot 3}}Z} = {\displaystyle =} 2226 891 Z {\displaystyle {\tfrac {2226}{891}}Z} X {\displaystyle X} = {\displaystyle =} 178 99 Z {\displaystyle {\tfrac {178}{99}}Z} = {\displaystyle =} 1602 891 Z {\displaystyle {\tfrac {1602}{891}}Z} Y {\displaystyle Y} = {\displaystyle =} 1580 99 ⋅ ⋅ 9 Z {\displaystyle {\tfrac {1580}{99\cdot 9}}Z} = {\displaystyle =} 1580 891 Z {\displaystyle {\tfrac {1580}{891}}Z} Z {\displaystyle Z} = {\displaystyle =} Z {\displaystyle Z}

Weil aber W , X {\displaystyle W,X} und Y {\displaystyle Y} ganzzahlig sein müssen (es handelt sich immerhin um eine gewisse Anzahl von Rindern), muss auch 1 891 Z {\displaystyle {\tfrac {1}{891}}Z} ganzzahlig sein. Somit muss Z {\displaystyle Z} ein Vielfaches von 891 sein. Sei also Z := 891 ⋅ ⋅ s {\displaystyle Z:=891\cdot s} mit ganzzahligem s ∈ ∈ N {\displaystyle s\in \mathbb {N} } . Dann erhält man folgende Lösungen:

W {\displaystyle W} = {\displaystyle =} 2226 891 Z {\displaystyle {\tfrac {2226}{891}}Z} = {\displaystyle =} 2226 ⋅ ⋅ s {\displaystyle 2226\cdot s} X {\displaystyle X} = {\displaystyle =} 1602 891 Z {\displaystyle {\tfrac {1602}{891}}Z} = {\displaystyle =} 1602 ⋅ ⋅ s {\displaystyle 1602\cdot s} Y {\displaystyle Y} = {\displaystyle =} 1580 891 Z {\displaystyle {\tfrac {1580}{891}}Z} = {\displaystyle =} 1580 ⋅ ⋅ s {\displaystyle 1580\cdot s} Z {\displaystyle Z} = {\displaystyle =} Z {\displaystyle Z} = {\displaystyle =} 891 ⋅ ⋅ s {\displaystyle 891\cdot s}

Betrachtet man die anderen vier Gleichungen, bringt die Brüche weg und formt sie geeignet um, erhält man folgendes Gleichungssystem:

12 w {\displaystyle 12w} − − {\displaystyle -} 7 x {\displaystyle 7x} = {\displaystyle =} 7 X {\displaystyle 7X} 20 x {\displaystyle 20x} − − {\displaystyle -} 9 y {\displaystyle 9y} = {\displaystyle =} 9 Y {\displaystyle 9Y} 30 y {\displaystyle 30y} − − {\displaystyle -} 11 z {\displaystyle 11z} = {\displaystyle =} 11 Z {\displaystyle 11Z} − − {\displaystyle -} 13 w {\displaystyle 13w} + {\displaystyle +} 42 z {\displaystyle 42z} = {\displaystyle =} 13 W {\displaystyle 13W}

Setzt man nun die Ergebnisse des ersten Gleichungssystems ein, also W = 2226 ⋅ ⋅ s , X = 1602 ⋅ ⋅ s , Y = 1580 ⋅ ⋅ s {\displaystyle W=2226\cdot s,\ X=1602\cdot s,\ Y=1580\cdot s} und Z = 891 ⋅ ⋅ s {\displaystyle Z=891\cdot s} , so erhält man folgendes Gleichungssystem:

12 w {\displaystyle 12w} − − {\displaystyle -} 7 x {\displaystyle 7x} = {\displaystyle =} 11214 ⋅ ⋅ s {\displaystyle 11214\cdot s} 20 x {\displaystyle 20x} − − {\displaystyle -} 9 y {\displaystyle 9y} = {\displaystyle =} 14220 ⋅ ⋅ s {\displaystyle 14220\cdot s} 30 y {\displaystyle 30y} − − {\displaystyle -} 11 z {\displaystyle 11z} = {\displaystyle =} 9801 ⋅ ⋅ s {\displaystyle 9801\cdot s} − − {\displaystyle -} 13 w {\displaystyle 13w} + {\displaystyle +} 42 z {\displaystyle 42z} = {\displaystyle =} 28938 ⋅ ⋅ s {\displaystyle 28938\cdot s}

Da ja das s {\displaystyle s} frei wählbar ist, handelt es sich somit um ein eindeutig lösbares Gleichungssystem mit 4 Gleichungen und 4 Unbekannten w , x , y {\displaystyle w,x,y} und z {\displaystyle z} . Man erhält folgende Lösungen:

w {\displaystyle w} = {\displaystyle =} 93682680 4657 ⋅ ⋅ 13 s {\displaystyle {\tfrac {93682680}{4657\cdot 13}}s} = {\displaystyle =} 7206360 4657 s {\displaystyle {\tfrac {7206360}{4657}}s} x {\displaystyle x} = {\displaystyle =} 97864920 4657 ⋅ ⋅ 20 s {\displaystyle {\tfrac {97864920}{4657\cdot 20}}s} = {\displaystyle =} 4893246 4657 s {\displaystyle {\tfrac {4893246}{4657}}s} y {\displaystyle y} = {\displaystyle =} 105474600 4657 ⋅ ⋅ 30 s {\displaystyle {\tfrac {105474600}{4657\cdot 30}}s} = {\displaystyle =} 3515820 4657 s {\displaystyle {\tfrac {3515820}{4657}}s} z {\displaystyle z} = {\displaystyle =} 5439213 4657 s {\displaystyle {\tfrac {5439213}{4657}}s}

Wieder müssen w , x , y {\displaystyle w,x,y} und z {\displaystyle z} ganzzahlig sein, weil es sich ja um die Anzahlen von Rindern handelt. Somit muss 1 4657 s {\displaystyle {\tfrac {1}{4657}}s} ganzzahlig sein. Also muss s {\displaystyle s} ein Vielfaches von 4657 sein. Sei also s := 4657 ⋅ ⋅ k {\displaystyle s:=4657\cdot k} mit ganzzahligem k ∈ ∈ N {\displaystyle k\in \mathbb {N} } . Dann erhält man die folgenden Lösungen:

w {\displaystyle w} = {\displaystyle =} 7206360 4657 s {\displaystyle {\tfrac {7206360}{4657}}s} = {\displaystyle =} 7206360 ⋅ ⋅ k {\displaystyle 7206360\cdot k} x {\displaystyle x} = {\displaystyle =} 4893246 4657 s {\displaystyle {\tfrac {4893246}{4657}}s} = {\displaystyle =} 4893246 ⋅ ⋅ k {\displaystyle 4893246\cdot k} y {\displaystyle y} = {\displaystyle =} 3515820 4657 s {\displaystyle {\tfrac {3515820}{4657}}s} = {\displaystyle =} 3515820 ⋅ ⋅ k {\displaystyle 3515820\cdot k} z {\displaystyle z} = {\displaystyle =} 5439213 4657 s {\displaystyle {\tfrac {5439213}{4657}}s} = {\displaystyle =} 5439213 ⋅ ⋅ k {\displaystyle 5439213\cdot k}

Damit hat der erste und leichtere Teil des archimedischen Rinderproblems (ohne die beiden zusätzlichen Bedingungen) die folgende Lösung (es kann k ∈ ∈ N {\displaystyle k\in \mathbb {N} } beliebig ganzzahlig gewählt werden):

Die Anzahl der weißen Bullen ist W = 2226 ⋅ ⋅ s = 10366482 ⋅ ⋅ k {\displaystyle W=2226\cdot s=10366482\cdot k} . Die Anzahl der schwarzen Bullen ist X = 1602 ⋅ ⋅ s = 7460514 ⋅ ⋅ k {\displaystyle X=1602\cdot s=\;\;7460514\cdot k} . Die Anzahl der gefleckten Bullen ist Y = 1580 ⋅ ⋅ s = 7358060 ⋅ ⋅ k {\displaystyle Y=1580\cdot s=\;\;7358060\cdot k} . Die Anzahl der gelben Bullen ist Z = 891 ⋅ ⋅ s = 4149387 ⋅ ⋅ k {\displaystyle Z=\;\;891\cdot s=\;\;4149387\cdot k} . Die Anzahl der weißen Kühe ist w = 7206360 ⋅ ⋅ k {\displaystyle w=7206360\cdot k} . Die Anzahl der schwarzen Kühe ist x = 4893246 ⋅ ⋅ k {\displaystyle x=4893246\cdot k} . Die Anzahl der gefleckten Kühe ist y = 3515820 ⋅ ⋅ k {\displaystyle y=3515820\cdot k} . Die Anzahl der gelben Kühe ist z = 5439213 ⋅ ⋅ k {\displaystyle z=5439213\cdot k} .

Die Gesamtzahl der Rinder beträgt also W + X + Y + Z + w + x + y + z = 50389082 ⋅ ⋅ k {\displaystyle W+X+Y+Z+w+x+y+z=50389082\cdot k} .

Nun zur Lösung des schwierigeren zweiten Teils des Problems:

Setzt man in W + X = m 2 {\displaystyle W+X=m^{2}} für W = 10366482 ⋅ ⋅ k {\displaystyle W=10366482\cdot k} und für X = 7460514 ⋅ ⋅ k {\displaystyle X=7460514\cdot k} ein, so erhält man

10366482 ⋅ ⋅ k + 7460514 ⋅ ⋅ k = 17826996 ⋅ ⋅ k = m 2 . {\displaystyle 10366482\cdot k+7460514\cdot k=17826996\cdot k=m^{2}.}

Mit der Primfaktorzerlegung von 17826996 = 2 2 ⋅ ⋅ 3 ⋅ ⋅ 11 ⋅ ⋅ 29 ⋅ ⋅ 4657 {\displaystyle 17826996=2^{2}\cdot 3\cdot 11\cdot 29\cdot 4657} erhält man die Gleichung

2 2 ⋅ ⋅ 3 ⋅ ⋅ 11 ⋅ ⋅ 29 ⋅ ⋅ 4657 ⋅ ⋅ k = m 2 . {\displaystyle 2^{2}\cdot 3\cdot 11\cdot 29\cdot 4657\cdot k=m^{2}.}

Damit der linke Teil ein vollständiges Quadrat ist, muss gelten:

k = 3 ⋅ ⋅ 11 ⋅ ⋅ 29 ⋅ ⋅ 4657 ⋅ ⋅ r 2 = 4456749 ⋅ ⋅ r 2 {\displaystyle k=3\cdot 11\cdot 29\cdot 4657\cdot r^{2}=4456749\cdot r^{2}}

mit einem ganzzahligen r ∈ ∈ N {\displaystyle r\in \mathbb {N} } .

Nun betrachtet man die Gleichung Y + Z = n ⋅ ⋅ ( n + 1 ) 2 {\displaystyle Y+Z={\tfrac {n\cdot (n+1)}{2}}} . Setzt man h := 2 n + 1 {\displaystyle h:=2n+1} , d. h. n = h − − 1 2 {\displaystyle n={\tfrac {h-1}{2}}} , dann kann man das auch schreiben als

Y + Z = 1 2 ⋅ ⋅ h − − 1 2 ⋅ ⋅ h + 1 2 = 1 8 ( h 2 − − 1 ) {\displaystyle Y+Z={\tfrac {1}{2}}\cdot {\tfrac {h-1}{2}}\cdot {\tfrac {h+1}{2}}={\tfrac {1}{8}}(h^{2}-1)}

bzw. als

1 + 8 ( Y + Z ) = h 2 {\displaystyle 1+8(Y+Z)=h^{2}} .

Da n {\displaystyle n} ganzzahlig ist, ist h {\displaystyle h} offensichtlich ungerade.

Setzt man die Zwischenergebnisse Y = 1580 ⋅ ⋅ 4657 ⋅ ⋅ k {\displaystyle Y=1580\cdot 4657\cdot k} und Z = 891 ⋅ ⋅ 4657 ⋅ ⋅ k {\displaystyle Z=891\cdot 4657\cdot k} ein, so erhält man wegen 1580 + 891 = 2471 = 7 ⋅ ⋅ 353 {\displaystyle 1580+891=2471=7\cdot 353} für die Summe

Y + Z = 7 ⋅ ⋅ 353 ⋅ ⋅ 4657 ⋅ ⋅ k = 3 ⋅ ⋅ 7 ⋅ ⋅ 11 ⋅ ⋅ 29 ⋅ ⋅ 353 ⋅ ⋅ 4657 2 ⋅ ⋅ r 2 = 2364747 ⋅ ⋅ 4657 2 ⋅ ⋅ r 2 {\displaystyle {\begin{aligned}Y+Z&=7\cdot 353\cdot 4657\cdot k\\&=3\cdot 7\cdot 11\cdot 29\cdot 353\cdot 4657^{2}\cdot r^{2}\\&=2364747\cdot 4657^{2}\cdot r^{2}\end{aligned}}}

und daraus als Beziehung zwischen h {\displaystyle h} und r {\displaystyle r} die Gleichung

1 + 8 ⋅ ⋅ 2364747 ⋅ ⋅ 4657 2 ⋅ ⋅ r 2 = h 2 {\displaystyle 1+8\cdot 2364747\cdot 4657^{2}\cdot r^{2}=h^{2}} .

Weil 8 ⋅ ⋅ 2364747 ⋅ ⋅ 4657 2 = 410286423278424 {\displaystyle 8\cdot 2364747\cdot 4657^{2}=410286423278424} ist, ergibt sich die folgende Pellsche Gleichung:

h 2 − − 410286423278424 ⋅ ⋅ r 2 = 1 {\displaystyle h^{2}-410286423278424\cdot r^{2}=1}

Berücksichtigt man die Faktorzerlegung 410286423278424 = 4729494 ⋅ ⋅ ( 2 ⋅ ⋅ 4657 ) 2 , {\displaystyle 410286423278424=4729494\cdot (2\cdot 4657)^{2},} so erhält man die etwas einfacher zu lösende Pellsche Gleichung:

h 2 − − 4729494 ⋅ ⋅ ( 2 ⋅ ⋅ 4657 r ) 2 = 1 {\displaystyle h^{2}-4729494\cdot (2\cdot 4657r)^{2}=1}

Diese Pellsche Gleichung hat, weil 4729494 keine Quadratzahl ist, unendlich viele Lösungen.

Man löst sie mit der Kettenbruchentwicklung von 4729494 {\displaystyle {\sqrt {4729494}}} , die mit einer Periodenlänge von 92 und somit mit einer Gesamtlänge von 93 wie folgt lautet:

4729494 = [ 2174 ; 1 , 2 , 1 , 5 , 2 , 25 , 3 , 1 , 1 , 1 , 1 , 1 , 1 , 15 , 1 , 2 , 16 , 1 , 2 , 1 , 1 , 8 , 6 , 1 , 21 , 1 , 1 , 3 , 1 , 1 , 1 , 2 , 2 , 6 , 1 , 1 , 5 , 1 , 17 , 1 , 1 , 47 , 3 , ¯ ¯ 1 , 1 , 6 , 1 , 1 , 3 , 47 , 1 , 1 , 17 , 1 , 5 , 1 , 1 , 6 , 2 , 2 , 1 , 1 , 1 , 3 , 1 , 1 , 21 , 1 , 6 , 8 , 1 , 1 , 2 , 1 , 16 , 2 , 1 , 15 , 1 , 1 , 1 , 1 , 1 , 1 , 3 , 25 , 2 , 5 , 1 , 2 , 1 , 4348 ¯ ¯ ] {\displaystyle {\begin{aligned}{\sqrt {4729494}}=[2174;{\overline {1,2,1,5,2,25,3,1,1,1,1,1,1,15,1,2,16,1,2,1,1,8,6,1,21,1,1,3,1,1,1,2,2,6,1,1,5,1,17,1,1,47,3,}}\\{\overline {1,1,6,1,1,3,47,1,1,17,1,5,1,1,6,2,2,1,1,1,3,1,1,21,1,6,8,1,1,2,1,16,2,1,15,1,1,1,1,1,1,3,25,2,5,1,2,1,4348}}]\end{aligned}}}

Die obige Pellsche Gleichung h 2 − − 4729494 ⋅ ⋅ ( 2 ⋅ ⋅ 4657 r ) 2 = 1 {\displaystyle h^{2}-4729494\cdot (2\cdot 4657r)^{2}=1} hat die folgende kleinste (Minimal-)Lösung:

h 0 = 109931986732829734979866232821433543901088049 ≈ ≈ 1,099 ⋅ ⋅ 10 44 g 0 := 2 ⋅ ⋅ 4657 r 0 = 50549485234315033074477819735540408986340 ≈ ≈ 5,055 ⋅ ⋅ 10 40 {\displaystyle {\begin{aligned}h_{0}=&109931986732829734979866232821433543901088049&\approx 1{,}099\cdot 10^{44}\\g_{0}:=2\cdot 4657r_{0}=&50549485234315033074477819735540408986340&\approx 5{,}055\cdot 10^{40}\end{aligned}}}

Somit ist aber r 0 = g 0 2 ⋅ ⋅ 4657 = 25274742617157516537238909867770204493170 4657 ∉ ∉ N {\displaystyle r_{0}={\tfrac {g_{0}}{2\cdot 4657}}={\tfrac {25274742617157516537238909867770204493170}{4657}}\notin \mathbb {N} } nicht ganzzahlig und deswegen ist die obige Minimallösung der Pellschen Gleichung noch immer nicht die gesuchte Lösung des Rinderproblems.

Es muss das gesuchte r {\displaystyle r} ein Teiler von einem gewissen (kleinstmöglichen) g {\displaystyle g} sein, das die Zahl 2 ⋅ ⋅ 4657 {\displaystyle 2\cdot 4657} als Teiler hat.

Wenn man die Minimallösung ( h 0 , g 0 ) {\displaystyle (h_{0},g_{0})} der obigen Pellschen Gleichung hat, muss man nur noch die folgenden beiden Iterationsformeln anwenden, mit denen man alle weiteren (unendlich vielen) Lösungen der Pellschen Gleichung erhält (siehe Pellsche Gleichung#Generieren weiterer Lösungen):

h i + 1 = h 0 ⋅ ⋅ h i + 4729494 ⋅ ⋅ g 0 ⋅ ⋅ g i g i + 1 = g 0 ⋅ ⋅ h i + h 0 ⋅ ⋅ g i {\displaystyle {\begin{aligned}h_{i+1}&=&h_{0}\cdot h_{i}+4729494\cdot g_{0}\cdot g_{i}\\g_{i+1}&=&g_{0}\cdot h_{i}+h_{0}\cdot g_{i}\end{aligned}}}

mit obigem h 0 {\displaystyle h_{0}} und g 0 {\displaystyle g_{0}} .

Der erste Iterationsschritt ist

h 1 = h 0 ⋅ ⋅ h 0 + 4729494 ⋅ ⋅ g 0 ⋅ ⋅ g 0 g 1 = g 0 ⋅ ⋅ h 0 + h 0 ⋅ ⋅ g 0 {\displaystyle {\begin{aligned}h_{1}&=&h_{0}\cdot h_{0}+4729494\cdot g_{0}\cdot g_{0}\\g_{1}&=&g_{0}\cdot h_{0}+h_{0}\cdot g_{0}\end{aligned}}}

Leider hat auch dieses g 1 ≈ ≈ 1,111 4 ⋅ ⋅ 10 85 {\displaystyle g_{1}\approx 1{,}1114\cdot 10^{85}} nicht die Zahl 2 ⋅ ⋅ 4657 {\displaystyle 2\cdot 4657} als Teiler.

Auch mit dem nächsten, dem zweiten Iterationsschritt

h 2 = h 0 ⋅ ⋅ h 1 + 4729494 ⋅ ⋅ g 0 ⋅ ⋅ g 1 g 2 = g 0 ⋅ ⋅ h 1 + h 0 ⋅ ⋅ g 1 {\displaystyle {\begin{aligned}h_{2}&=&h_{0}\cdot h_{1}+4729494\cdot g_{0}\cdot g_{1}\\g_{2}&=&g_{0}\cdot h_{1}+h_{0}\cdot g_{1}\end{aligned}}}

erhält man ein g 2 ≈ ≈ 2,443 57 ⋅ ⋅ 10 129 {\displaystyle g_{2}\approx 2{,}44357\cdot 10^{129}} , das die Zahl 2 ⋅ ⋅ 4657 {\displaystyle 2\cdot 4657} nicht als Teiler hat.

Erst nach unglaublichen 2329 Iterationsschritten erhält man die folgende gesuchte kleinste Lösung:

h := h 2329 ≈ ≈ 3,765 344502347206 ⋅ ⋅ 10 103272 g := g 2329 ≈ ≈ 1,731 399858951771 ⋅ ⋅ 10 103269 {\displaystyle {\begin{aligned}h:=h_{2329}&\approx &3{,}765344502347206\cdot 10^{103272}\\g:=g_{2329}&\approx &1{,}731399858951771\cdot 10^{103269}\end{aligned}}}

Und somit erhält man r = g 2 ⋅ ⋅ 4657 ≈ ≈ 1,858 921901386913 ⋅ ⋅ 10 103265 ∈ ∈ N {\displaystyle r={\tfrac {g}{2\cdot 4657}}\approx 1{,}858921901386913\cdot 10^{103265}\in \mathbb {N} } . Damit kann man auch k = 4456749 ⋅ ⋅ r 2 ≈ ≈ 1,540 070010897761 ⋅ ⋅ 10 206537 {\displaystyle k=4456749\cdot r^{2}\approx 1{,}540070010897761\cdot 10^{206537}} errechnen und oben bei W , X , Y , Z , w , x , y {\displaystyle W,X,Y,Z,w,x,y} und z {\displaystyle z} einsetzen.

Die schwierigere Form des archimedischen Rinderproblems (also inklusive der beiden zusätzlichen Bedingungen) hat somit die folgende kleinste Lösung:

k ≈ ≈ 1,540 07001089776119944598967554 ⋅ ⋅ 10 206537 {\displaystyle k\approx 1{,}54007001089776119944598967554\cdot 10^{206537}}

Die Gesamtzahl der Rinder beträgt also W + X + Y + Z + w + x + y + z = 50389082 ⋅ ⋅ k ≈ ≈ 7,760 2714064868182695 ⋅ ⋅ 10 206544 {\displaystyle W+X+Y+Z+w+x+y+z=50389082\cdot k\approx 7{,}7602714064868182695\cdot 10^{206544}} .

Die exakten Ergebnisse für die Anzahl der einzelnen Bullen und Kühe und für die Gesamtzahl der Rinder, also alle 206544 bzw. 206545 Stellen, kann man auf einer Internetseitecite-ref-10[10] nachlesen.

Die weißen Bullen, von denen es W {\displaystyle W} Stück gibt, und die schwarzen Bullen, von denen es X {\displaystyle X} Stück gibt, kann man quadratisch so anordnen, dass auf jeder Seite des Quadrats m = W + X ≈ ≈ 1,656 949665016845 ⋅ ⋅ 10 103272 {\displaystyle m={\sqrt {W+X}}\approx 1{,}656949665016845\cdot 10^{103272}} Bullen stehen.

Die gefleckten Bullen, von denen es Y {\displaystyle Y} Stück gibt, und die gelben Bullen, von denen es Z {\displaystyle Z} Stück gibt, kann man dreieckig so anordnen, dass auf jeder Seite des Dreiecks n = n 1 = − − 1 + 1 + 8 ( Y + Z ) 2 ≈ ≈ 1,882 672251173603 ⋅ ⋅ 10 103272 {\displaystyle n=n_{1}={\tfrac {-1+{\sqrt {1+8(Y+Z)}}}{2}}\approx 1{,}882672251173603\cdot 10^{103272}} Bullen stehen.

Die weiter oben stehende Pellsche Gleichung h 2 − − 410286423278424 ⋅ ⋅ r 2 = 1 {\displaystyle h^{2}-410286423278424\cdot r^{2}=1} , die umgeformt wurde zur Pellschen Gleichung h 2 − − 4729494 ⋅ ⋅ ( 2 ⋅ ⋅ 4657 r ) 2 = 1 {\displaystyle h^{2}-4729494\cdot (2\cdot 4657r)^{2}=1} , hat natürlich dieselbe oben schon erhaltene ganzzahlige Minimallösung

h ≈ ≈ 3,765 344502347206 ⋅ ⋅ 10 103272 r = g 2 ⋅ ⋅ 4657 ≈ ≈ 1,858 921901386913 ⋅ ⋅ 10 103265 {\displaystyle {\begin{aligned}h\approx &\;3{,}765344502347206\cdot 10^{103272}\\r={\frac {g}{2\cdot 4657}}\approx &\;1{,}858921901386913\cdot 10^{103265}\end{aligned}}} .

Diese Pellsche Gleichung h 2 − − 410286423278424 ⋅ ⋅ r 2 = 1 {\displaystyle h^{2}-410286423278424\cdot r^{2}=1} hat unendlich viele Lösungen. Jede dieser Lösungen ist auch gleichzeitig Lösung des Rinderproblems. Somit hat auch das Rinderproblem unendlich viele Lösungen.

Wenn man die Minimallösung ( h , r ) {\displaystyle (h,r)} der obigen Pellschen Gleichung kennt, muss man wieder die folgenden beiden Iterationsformeln anwenden, mit denen man alle weiteren (unendlich vielen) Lösungen der Pellschen Gleichung erhält:

Der erste Iterationsschritt ist

h 1 = h 0 ⋅ ⋅ h 0 + 410286423278424 ⋅ ⋅ r 0 ⋅ ⋅ r 0 r 1 = r 0 ⋅ ⋅ h 0 + h 0 ⋅ ⋅ r 0 {\displaystyle {\begin{aligned}h_{1}=&\;h_{0}\cdot h_{0}+410286423278424\cdot r_{0}\cdot r_{0}\\r_{1}=&\;r_{0}\cdot h_{0}+h_{0}\cdot r_{0}\end{aligned}}}

mit h 0 := h {\displaystyle h_{0}:=h} und r 0 := r {\displaystyle r_{0}:=r} .

Tatsächlich ist h 1 ≈ ≈ 2,835 563844271266 ⋅ ⋅ 10 206545 {\displaystyle h_{1}\approx 2{,}835563844271266\cdot 10^{206545}} und r 1 ≈ ≈ 1,399 896272336006 ⋅ ⋅ 10 206538 {\displaystyle r_{1}\approx 1{,}399896272336006\cdot 10^{206538}} die zweitkleinste Lösung der Pellschen Gleichung h 2 − − 410286423278424 ⋅ ⋅ r 2 = 1 {\displaystyle h^{2}-410286423278424\cdot r^{2}=1} .

Mit dem nächsten, dem zweiten Iterationsschritt

h 2 = h 0 ⋅ ⋅ h 1 + 410286423278424 ⋅ ⋅ r 0 ⋅ ⋅ r 1 r 2 = r 0 ⋅ ⋅ h 1 + h 0 ⋅ ⋅ r 1 {\displaystyle {\begin{aligned}h_{2}=&\;h_{0}\cdot h_{1}+410286423278424\cdot r_{0}\cdot r_{1}\\r_{2}=&\;r_{0}\cdot h_{1}+h_{0}\cdot r_{1}\end{aligned}}}

erhält man die drittkleinste Lösung ( h 2 , r 2 ) {\displaystyle (h_{2},r_{2})} der Pellschen Gleichung.

Generell gilt:

h i + 1 = h 0 ⋅ ⋅ h i + 410286423278424 ⋅ ⋅ r 0 ⋅ ⋅ r i r i + 1 = r 0 ⋅ ⋅ h i + h 0 ⋅ ⋅ r i {\displaystyle {\begin{aligned}h_{i+1}=&\;h_{0}\cdot h_{i}+410286423278424\cdot r_{0}\cdot r_{i}\\r_{i+1}=&\;r_{0}\cdot h_{i}+h_{0}\cdot r_{i}\end{aligned}}}

ergibt alle Lösungspaare ( h i + 1 , r i + 1 ) {\displaystyle (h_{i+1},r_{i+1})} der Pellschen Gleichung h 2 − − 410286423278424 ⋅ ⋅ r 2 = 1 {\displaystyle h^{2}-410286423278424\cdot r^{2}=1} .

Interessant sind aber vor allem die r i {\displaystyle r_{i}} . Damit kann man nämlich wieder k i = 4456749 ⋅ ⋅ r i 2 {\displaystyle k_{i}=4456749\cdot r_{i}^{2}} errechnen und oben bei W , X , Y , Z , w , x , y {\displaystyle W,X,Y,Z,w,x,y} und z {\displaystyle z} einsetzen. So erhält man alle weiteren Lösungen des Rinderproblems.

Wenn man alle unendlich vielen Lösungen dieses Rinderproblems wissen will, so bieten sich auch die folgenden Formeln an, die der Mathematiker H. W. Lenstra Jr. aufcite-ref-11[11] veröffentlicht hat.

Sei

c := 300426607914281713365 ⋅ ⋅ 609 + 84129507677858393258 ⋅ ⋅ 7766 {\displaystyle c:=300426607914281713365\cdot {\sqrt {609}}+84129507677858393258\cdot {\sqrt {7766}}}

und

k j := ( c 4658 ⋅ ⋅ j − − c − − 4658 ⋅ ⋅ j ) 2 368238304 {\displaystyle k_{j}:={\frac {(c^{4658\cdot j}-c^{-4658\cdot j})^{2}}{368238304}}}

mit j = 1 , 2 , 3 , … … {\displaystyle j=1,2,3,\dotsc }

Die kleinste Lösung k 1 {\displaystyle k_{1}} ist die obige errechnete kleinste Lösung k {\displaystyle k} des Rinderproblems.

Die schwierige Form des archimedischen Rinderproblems (inklusive der beiden zusätzlichen Bedingungen) hat die folgende j {\displaystyle j} -kleinste Lösung ( j ∈ ∈ N {\displaystyle j\in \mathbb {N} } kann beliebig positiv ganzzahlig gewählt werden):

Die Anzahl der weißen Bullen ist W = 10366482 ⋅ ⋅ k j {\displaystyle W=10366482\cdot k_{j}} .

Die Anzahl der schwarzen Bullen ist X = 7460514 ⋅ ⋅ k j {\displaystyle X=7460514\cdot k_{j}} .

Die Anzahl der gefleckten Bullen ist Y = 7358060 ⋅ ⋅ k j {\displaystyle Y=7358060\cdot k_{j}} .

Die Anzahl der gelben Bullen ist Z = 4149387 ⋅ ⋅ k j {\displaystyle Z=4149387\cdot k_{j}} .

Die Anzahl der weißen Kühe ist w = 7206360 ⋅ ⋅ k j {\displaystyle w=7206360\cdot k_{j}} .

Die Anzahl der schwarzen Kühe ist x = 4893246 ⋅ ⋅ k j {\displaystyle x=4893246\cdot k_{j}} .

Die Anzahl der gefleckten Kühe ist y = 3515820 ⋅ ⋅ k j {\displaystyle y=3515820\cdot k_{j}} .

Die Anzahl der gelben Kühe ist z = 5439213 ⋅ ⋅ k j {\displaystyle z=5439213\cdot k_{j}} .

Die Gesamtzahl der Rinder beträgt also W + X + Y + Z + w + x + y + z = 50389082 ⋅ ⋅ k j {\displaystyle W+X+Y+Z+w+x+y+z=50389082\cdot k_{j}} .

cite-note-1993-schreiber-11. ↑ Peter Schreiber: A Note on the Cattle Problem of Archimedes. (Memento vom 3. Dezember 2013 im Internet Archive). (PDF; 131 kB). In: Historia Mathematica. 20, 1993, S. 304–306.

cite-note-22. ↑ Gotthold Ephraim Lessing: Zur Geschichte und Litteratur. Aus den Schätzen der Herzoglichen Bibliothek zu Wolfenbüttel. Zweiter Beitrag. Braunschweig 1773, S. 421–446.

cite-note-33. ↑ http://users.ntua.gr/dimour/greats/Archimedes/index.html

cite-note-44. ↑ Vgl. u. a. Jacob Struve, Karl Ludwig Struve: Altes Griechisches Epigramm mathematischen Inhalts, mathematisch und kritisch behandelt. Altona 1821.

cite-note-0-55. ↑ Bernhard Krumbiegel, August Amthor: Das Problema bovimum des Archimedes. In: Zeitschrift für Mathematik und Physik: Historisch-literarische Abtheilung. Band 25. B. G. Teubner, Leipzig 1880, S. 121–136, 153–171 (hathitrust.org [PDF; abgerufen am 6. Februar 2025]).

cite-note-66. ↑ Johan Ludvig Heiberg (Hrsg.): Archimedis opera omnia cum commentariis Eutocii. E codice Florentino recensuit, latine uertit notisque illustrauit. Bd. 2 (PDF; 13,3 MB). Teubner, Leipzig 1881, S. 446–455.

cite-note-77. ↑ Georg Heinrich Ferdinand Nesselmann: Versuch einer kritischen Geschichte der Algebra. Bd. 1: Die Algebra der Griechen. Reimer, Berlin 1842. ND Minerva, Frankfurt 1969, S. 482 (Protokoll), 483 (Z. 1–30), 486–487 (Z. 31–44).

cite-note-88. ↑ Hugh C. Williams, R. Angus German, C. Robert Zarnke: Solution of the cattle problem of Archimedes. In: Mathematics of Computation. 19, 1965, S. 671–674.

cite-note-99. ↑ Merriman, Mansfield: The Cattle Problem of Archimedes. In: Popular Science Monthly. 67, 1905, S. 660–665.

cite-note-1010. ↑ Archimedes in the 21st Century: The Cattle Problem, Computer Output (2nd Part) [1]

cite-note-1111. ↑ H. W. Lenstra Jr.: All solutions to the cattle problem of Archimedes. S. 187 (PDF).

• G. Nesselmann: Die Algebra der Griechen. Reimer, Berlin 1842 (Nachdruck: Minerva Verlag, Frankfurt am Main 1969, ISBN 3-86598-328-6).

• Seite mit dem griechischen Text, wie ihn Lessing in Wolfenbüttel entdeckt hat.

• Eric W. Weisstein: Archimedes’ Cattle Problem. In: MathWorld (englisch).

• Englische Übersetzung von Ivor Thomas in Loeb Classics

• Numberphile: The Archimedes Number auf YouTube, 24. November 2019, abgerufen am 24. Dezember 2019.